翻訳と辞書 Words near each other ・ Substitute holiday ・ Substitute natural gas ・ Substitute teacher ・ Substitute Teacher (film) ・ Substituted alpha-alkyltryptamine ・ Substituted amphetamine ・ Substituted cathinone ・ Substituted methylenedioxyphenethylamine ・ Substituted phenethylamine ・ Substituted phenylmorpholine ・ Substituted tryptamine ・ Substitutes for Leadership Theory ・ Substitutiary Locomotion ・ Substitution ・ Substitution (law) ・ Substitution (logic) ・ Substitution (poetry) ・ Substitution (song) ・ Substitution (sport) ・ Substitution (theatre) ・ Substitution bias ・ Substitution cipher ・ Substitution effect ・ Substitution failure is not an error ・ Substitution hypothesis ・ Substitution matrix ・ Substitution method ・ Substitution model ・ Substitution of attorney ・ Substitution of dangerous chemicals Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Substitution (logic) ： ウィキペディア英語版 Substitution (logic) Substitution is a fundamental concept in logic. A substitution is a syntactic transformation on formal expressions. To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols by other expressions. The resulting expression is called a substitution instance of the original expression. == Propositional logic == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Substitution (logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.